From: jenkins-bot Date: Mon, 26 Jun 2017 20:21:18 +0000 (+0000) Subject: Merge "mediawiki.Title: Remove needless $.type() and minor clean up" X-Git-Tag: 1.31.0-rc.0~2894 X-Git-Url: http://git.cyclocoop.org/%28%5B%5E/404?a=commitdiff_plain;h=7ece93cc8194ad00285094d0056ced99d0378adb;p=lhc%2Fweb%2Fwiklou.git Merge "mediawiki.Title: Remove needless $.type() and minor clean up" --- 7ece93cc8194ad00285094d0056ced99d0378adb